Temporal reasoning in process planning* MIRA BALABAN and DAN BRAHA
نویسندگان
چکیده
Computer-aided process planning has been recognized as an important tool for coordinating the different operations involved in making the product. While temporal knowledge is central to the design of efficient and reliable process plans, little attention is given to the integration of process planning and temporal processing and reasoning. To fill the void, we propose in this paper a practical approach, which is inspired by the framework of Temporal Constraint Satisfaction Problem ~TCSP!, to integrate process planning and temporal reasoning. We show that a TCSP formulation is a subset of a formulation using a reified temporal logic, and discuss the advantages of using such a restricted model. To reflect more realistic process planning encountered in real manufacturing environments, we present a model, called n-TCSP, which is a generalization of the TCSP framework. We envision the proposed temporal reasoning framework as one of the modules in the evolving new intelligent computer-aided process planning.
منابع مشابه
Common Schemas in Temporal Abstraction
Temporal databases store large quantities of raw data. Reasoning from such data requires abstraction. Temporal abstraction is a kind of temporal-reasoning that concentrates on abstracting temporal data. A language for temporal abstraction is presented, and common schemas of temporal abstraction are analyzed. The language can serve as the basis for a query language that supports temporal or spat...
متن کاملApplying Temporal Abstraction in Medical Information Systems
Physicians and medical decision-support applications, such as for diagnosis, therapy, monitoring, quality assessment, and clinical research, reason about patients in terms of abstract, clinically meaningful concepts, typically over significant time periods. Clinical databases, however, store only raw, time-stamped data. Thus, there is a need to bridge this gap. We introduce the Temporal Abstrac...
متن کاملDynamical Response of Networks under External Perturbations: Exact Results
David D. Chinellato, Marcus A.M. de Aguiar, Irving R. Epstein, Dan Braha and Yaneer Bar-Yam Instituto de F́ısica ‘Gleb Wataghin’, Universidade Estadual de Campinas, Unicamp 13083-970, Campinas, SP, Brasil New England Complex Systems Institute, Cambridge, Massachusetts 02138 Department of Chemistry, MS015, Brandeis University, Waltham, Massachusetts 02454, USA University of Massachusetts, Dartmou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999